a(1).
a(2).

b(X):-a(X).
b(3).

